Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
491	Theory and Applications of Categories, Vol. 29, No. 24, 2014, pp. 654–695. STACKS AND SHEAVES OF CATEGORIES AS FIBRANT OBJECTS, I ALEXANDRU E. STANCULESCU Abstract. We show that the category of categories fibred over Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-10-23 11:53:00 Topology Mathematics Fibred category Model category Adjoint functors Functor Equivalence of categories Topos Fibration Abstract algebra Category theory Homotopy theory
492	Theory and Applications of Categories, Vol. 29, No. 9, 2014, pp. 256301. THE THEORY AND PRACTICE OF REEDY CATEGORIES EMILY RIEHL AND DOMINIC VERITY Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-06-13 13:14:00 Functors Limit Diagram Equivalence of categories Model category Universal property Simplicial set Representable functor Initial and terminal objects Category theory Abstract algebra Mathematics
493	Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, UK Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-01 11:19:14 Analysis Sigma-algebra Support Measure Model theory Σ-finite measure Independence Filter Lebesgue measure Measure theory Mathematics Probability theory
494	Electronic Notes in Theoretical Computer Science[removed]URL: http://www.elsevier.nl/locate/entcs/volume61.html 13 pages A Category-Theoretic Approach to Social Network Analysis Anthony H. Dekker 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2001-10-17 01:11:47 Model checking Abstract simplicial complex Büchi automaton Mathematics Automata theory Function
495	Abstract In recent years, power laws have been conjectured to characterize the behavior of the upper tails of the degree distribution in many real phenomena and real-worlds networks. Historically, the first one to propos Add to Reading List Source URL: www-m14.ma.tum.de Language: English - Date: 2014-09-25 06:49:30 Preferential attachment Network theory Random graph Power law Degree distribution Simon model Yule–Simon distribution Udny Yule Mathematics Graph theory Statistics
496	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics
497	See No Evil: Information Chains and Reciprocity∗ Eva-Maria Steiger and Ro’i Zultan† Abstract We study experimentally voluntary contributions to public goods when none, some, or all previous decisions are observable Add to Reading List Source URL: www.bgu.ac.il Language: English - Date: 2013-11-09 02:51:16 Nash equilibrium Principal–agent problem Public goods game Actor model Economic equilibrium Economics Bayesian game Extensive-form game Business Game theory Problem solving Social dilemma
498	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
499	Robustness, Diversity of Evidence, and Probabilistic Independence Jonah N. Schupbach Abstract In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the exte Add to Reading List Source URL: jonahschupbach.com Language: English - Date: 2014-12-04 12:53:22 Probability theory Brownian motion Colloidal chemistry Evidentiality Economic model Statistical hypothesis testing Confidence interval Independence Statistics Statistical inference Stochastic processes
500	Merging Simulation and Projection Approaches to Solve High-Dimensional Problems with an Application to a New Keynesian model Lilia Maliar and Serguei Maliar March 9, 2014 Abstract Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2014-11-24 16:20:39 Mathematical optimization Operations research Ergodic theory Markov chain Economic model Dynamic programming Invariant measure Stochastic process Algorithm Statistics Mathematical analysis Mathematics

UPDATE